Optimality and uniqueness of the Leech lattice among lattices