gasification and carbon sequestration