Equivariant K -theory of semi-infinite flag manifolds and the Pieri–Chevalley formula