What was the estimated Birmingham's population in 2017?

**********