Competitive optimisation on timed automata