Introduction to the mathematics of general relativity