a type of solvent made from petroleum that is used to thin and clean up oil-based paints, varnishes, and stains