Spacecraft Attitude Control Using GPS Carrier Phase