Basic introduction to the mathematics of curved spacetime