Equation discovery for classification: finding interpretable symbolic specifications of the decision boundary