Peter Davis — British ergonomist (1923-2013)