On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference