Computing Bisimilarity Metrics for Probabilistic Timed Automata