tuning autovacuum by hiring more workers