On Expressive Power of Looped Transformers: Theoretical Analysis and Enhancement via Timestep Encoding