Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification