Exact exchange with range-separated algorithm for thermodynamic limit of periodic Hartree-Fock theory.