How is electricity generated using gas?