On the Complexity and Approximation of Binary Evidence in Lifted Inference