Rigorous mathematical results for electronic structure models