what is allen county population indiana?