Design of an Attitude Control System for a Spacecraft with Propellant Slosh Dynamics