Provable Preimage Under-Approximation for Neural Networks (Full Version)