World population reaches 10.1 billion.