Algorithmic Minimization of Uncertain Continuous-Time Markov Chains