Theorema: A System for Automated Reasoning and Automated Theory Exploration