On Quaternion-Based Attitude Control and the Unwinding Phenomenon