Declarative Statistical Modeling with Datalog