John L. Heilbron (1934–2023), historian of 'big science'