Intraoperative ultrasound in spinal tumor surgery