High-precision calculation of Hartree-Fock energy of crystals