The Hamilton-Jacobi semigroup on length spaces and applications - John Lott; Cedric Villani (2006)