Closed-Form Inversion of Backpropagation Networks: Theory and Optimization Issues