Polynomial Distinguishability of Timed Automata (extended abstract)