Describir: Semi-Riemannian Geometry with Applications to Relativity.