Axplorer: Democratizing the search for interesting mathematical constructions