[mlir][linalg] Fold dim(linalg.tiled_loop) to dim(output_arg)

Fold dim ops of linalg.tiled_loop results to dim ops of the respective iter args if the loop is shape preserving.

Differential Revision: https://reviews.llvm.org/D109431