An introduction to differential geometry, with use of the tensor calculus ([Princeton mathematical series)