What place was Oklahoma cities population ranked in the nation in 2012