Statistics for Pico della Mirandola, 1463–1494 : a study of an intellectual pilgrimage