Analysis and Control of Nonlinear Attitude Motion of Gravity-Gradient Stabilized Spacecraft via Lyapunov-Floquet Transformation and Normal Forms