Mixed derived category on affine Grassmannians and coherent sheaves on Springer resolution