The Mathematical Theory of Black Holes