Use Executor rather than ExecutorService

We don't need the lifecycle methods of ExecutorService, just the execute method of the superinterface Executor. This is more generic and allows easier extension, e.g. for a DirectExecutor than just immediately runs whatever it is passed.