Chance-Constrained Probabilistic Simple Temporal Problems