Weak Bisimulation for Probabilistic Timed Automata and Applications to Security