The volume and mean depth of Earth's lakes