A new view of the EM algorithm that justifies incremental and other variants