Zaslat SMS: Verifiable Surface Disinfection Using Ultraviolet Light with a Mobile Manipulation Robot