James Pickands, III — mathematical statistician (1931–2022)