Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems