First-order liquid-hexatic phase transition in hard disks