GSM-Symbolic: Understanding Math Reasoning Limitations in Large Language Models