CDC issues formal guidelines giving workers more protection against Ebola