definition of diesel engine