A Concise History of World Population