Maryland casinos' December figures show second-best revenue month ever