Global stabilization of a four rotor helicopter with bounded inputs