Cureus | Statistical Design of Overnight Trials for the Evaluation of the Number of Operating Rooms That Can Be Disinfected by an Ultraviolet Light Disinfection Robotic System