Praxis historialis: the uses of historia in early modern medicine