A mathematical introduction to Hartree-Fock SCF methods in Quantum Chemistry