Seol mar théacs é seo: Verifiable Surface Disinfection Using Ultraviolet Light with a Mobile Manipulation Robot