Range Sizes of the World’s Mammals, Birds, and Amphibians from the Mid-Holocene to the Industrial Period