Fast Exact Inference for Recursive Cardinality Models