Add function to rotate a vector around another vector