Some oils burn in liquid or aerosol form, generating light, and heat which can be used directly or converted into other forms of energy such as electricity or mechanical work. In order to obtain many fuel oils, crude oil is pumped from the ground and is shipped via oil tanker or a pipeline to an oil refinery. There, it is converted from crude oil to diesel fuel (petrodiesel), ethane (and other short-chain alkanes), fuel oils (heaviest of commercial fuels, used in ships/furnaces), gasoline (petrol), jet fuel, kerosene, benzene (historically), and liquefied petroleum gas. A 42-US-gallon (35 imp gal; 160 L) barrel of crude oil produces approximately 10 US gallons (8.3 imp gal; 38 L) of diesel, 4 US gallons (3.3 imp gal; 15 L) of jet fuel, 19 US gallons (16 imp gal; 72 L) of gasoline, 7 US gallons (5.8 imp gal; 26 L) of other products, 3 US gallons (2.5 imp gal; 11 L) split between heavy fuel oil and liquified petroleum gases, and 2 US gallons (1.7 imp gal; 7.6 L) of heating oil. The total production of a barrel of crude into various products results in an increase to 45 US gallons (37 imp gal; 170 L). Not all oils used as fuels are mineral oils, see biodiesel, vegetable oil fuel, and olive oil.