Casino revenue up in Columbus, down in Cleveland