Hi! If I have a tensor that has the shape, say, [1000, 3], where each row is an x, y, z point, I was wondering what the most efficient way would be in PyTorch to apply a rotation to each of these points and get a transformed [1000, 3] tensor?