Sufficiency, Separability and Temporal Probabilistic Models