Case-study of a coal gasification-based energy supply system for China