Strict Divergence for Probabilistic Timed Automata