John Baines — British mathematician