VeriMinder: Mitigating Analytical Vulnerabilities in NL2SQL