World Population Likely to Shrink After Mid-Century