The size-distribution of Earth’s lakes