Quaternion-Based Attitude Synchronization and Tracking for Spacecraft Formation Subject to Sensor and Actuator Constraints ¤Constraints