Probabilistic Timed Automata with Clock-Dependent Probabilities