Metric and comparison geometry - Cheeger, Jeff, 1943-; Grove, Karsten (Surveys in differential geometry ;, 2007)