A life cycle comparison of greenhouse emissions for power generation from coal mining and underground coal gasification