Rotates vec around axis by theta
Vector to rotate
Rotation axis
Angle to rotate in radians
Rotated vector
See Implementation
Rotates vec around axis by theta