Real time ultrasound in laparoscopic bladder diverticulectomy