Thermal extraction of bituminous coal with petroleum-derived solvents