CompletionFuture: the andThen can be configured with an executor