Understanding TensorIR: An Abstraction for Tensorized Program Optimization