Mahler's work on the geometry of numbers