Mathematics of general relativity