Butler County OH population as a percent of OH population