Looped Transformers for Length Generalization