Answer Set Counting and its Applications