TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix) (Logical Methods in Computer Science, 2025)