CAFE: An Industrial-Strength Algebraic Formal Method