Introduction: Integrated history and philosophy of science in practice