Mathematical Models and Methods for Ab Initio Quantum Chemistry