It took 12 years for the world's population to grow from 6 to 7 billion people. How long did it take from 7 to 8 billion?