Optimal formation reconfiguration of satellites under attitude constraints using only thrusters