The history of compressed natural gas