How do I rotate a vector by a quaternion?