Nonlinear Model Predictive Control for Spacecraft Attitude Tracking with Kalman Filter