Elementary Theory of Metric Spaces: A Course in Constructing Mathematical Proofs (Universitext)