Length Generalization in Arithmetic Transformers