Transformers are Efficient Compilers, Provably