Automated robotic intraoperative ultrasound for brain surgery