4k NASA employees opt to leave agency through deferred resignation program