Real-Time Segmentation of Non-Rigid Surgical Tools based on Deep Learning and Tracking