Make NUM_WORKERS a command-line argument.