K3 string theory, lattices and moonshine