ExDBN: Exact learning of Dynamic Bayesian Networks