Junction tree algorithm