Rotation representation: Quaternions