Faith and Fate: Limits of Transformers on Compositionality