Constrained Feedforward Neural Network Training via Reachability Analysis