Kepler's conjecture and phase transitions in the high-density hard-core model on $\mathbb{Z}^3$