Mathematical Theory of Black Holes in Higher Dimensions