history of gas