John Mather — American mathematician (1942–2017)