pub fn rotation_z(angle: f64) -> Mat3
Rotation matrix about the z-axis by the given angle in radians.