Peter Swinnerton-Dyer — British mathematician (1927-2018)