A course in metric geometry /