A Representational Model of Grid Cells' Path Integration Based on Matrix Lie Algebras