Improving Neural Network Verification through Spurious Region Guided Refinement