Logic and Games on Automatic Structures