Mathematical Models for Small Satellite Attitude Dynamics and Kinematics