Chinese polymath Shen Kua (1031–1095) first formulated hypotheses for the process of land formation