The hard-core model on planar lattices: the disk-packing problem and high-density phases