Counting and Reasoning with Plans