General Relativity For Mathematicians