Efficient Preimage Approximation for Neural Network Certification