A Meaning-based Statistical English Math Word Problem Solver