Peter Armitage — British statistician (1924–2024)