Sphere packings and hyperbolic reflection groups