3D Rotations in General: Rodrigues Rotation Formula and Quaternion Exponentials