Polyhedral variation and the projected Hartree-Fock approximation