the city of hillsboro, ohio