What types of energy are coal, vegetables, and gasoline?