旋转矩阵转换为四元数 python