Gwinnett County reinstates mask mandate for county workers