Text this: Logic and Games on Automatic Structures