History of manufactured gas