Rodrigues%27 rotation formula#Matrix notation