¿Qué tipos de gasóleo existen y en qué se diferencian?