Probabilistic Graphical Models: Principles and Techniques