Particle Filtering for Sequential Spacecraft Attitude Estimation