Sphere packings I - Thomas C. Hales (1998)