Ultrasound for robotic surgery