Mathematical Theory of Black Holes