Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities