Deriving Equivalent Symbol-Based Decision Models from Feedforward Neural Networks