shutting down executor service just before program exit