What Makes Looped Transformers Perform Better Than Non-Recursive Ones (Provably)