Understanding Domain-Size Generalization in Markov Logic Networks