updating E-step updates
Debugged complete - lower bound monotonic at all iterations now