Nosocomial pertussis: Costs of an outbreak and benefits of vaccinating health care workers