Bayesian Inference of Temporal Specifications to Explain How Plans Differ