Rodrigues' rotation formula - vector formula for a rotation in space, given its axis