Robot-assisted bladder diverticulectomy.