Equivariant K-theory, wreath products, and Heisenberg algebra