Probabilistic model checking of biological systems with uncertain kinetic rates