Rotating a Vector with the Rotation Matrix