Metric Spaces of Curvature ⩾ k