Integrating Typed Model Counting into First-Order Maximum Entropy Computations and the Connection to Markov Logic Networks