How is gas released from a gas cylinder?