New util function to convert axis-to-angle to rotation matrix