The K-band luminosity function at z = 1: a powerful constraint on galaxy formation theory