Divergence-time estimates for hominins provide insight into encephalization and body mass trends in human evolution