Risk of HIV transmission from patients to surgeons in the era of post-exposure prophylaxis