Equivariant K-theory, generalized symmetric products, and twisted Heisenberg algebra