Sophus Lie's 1880 transformation group paper