Lifted Variable Elimination for Probabilistic Logic Programming