On Preimage Approximation for Neural Networks