Active vibration isolation systems with nonlinear compensation to account for actuator saturation