coal is produced from bituminous coal by process