Extraction of crisp logical rules using constrained backpropagation networks