The ideal glass transition of hard spheres