In the past it was also commonly used as an industrial solvent (a substance that can dissolve or extract other substances) and as a gasoline additive, but these uses have been greatly reduced in recent decades .