Precise laminae segmentation based on neural network for robot-assisted decompressive laminectomy. (September 2021)