Rotation around a point by an angle.