Leonardo da Vinci (1452-1519) and the birth of stratigraphy