How does a diesel generator work?