Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions