Archimedes discovering the law of volume displacement ca 220 AD