Weekly scheduling of emergency department physicians to cope with time-varying demand. (3rd October 2021)