Equivariant twisted K-theory