The mathematical analysis of black holes in general relativity