WJMI (99.7 FM) is a radio station whose studios are located in a city with a population of what at the 2010 census?