Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width