If Hamirpur district is top ranked, what is its population?