Lifted Reasoning for Combinatorial Counting