Ohio December report: State casino revenue $91.7m, second-highest ever