Dynamic controllability via Timed Game Automata