Michael Robinson: historian of science and exploration