Industrial coal gasification technologies covering baseline and high-ash coal. (2015)