Our paper “Toward Certifiable Optimal Motion Planning for Medical Steerable Needles” accepted to International Journal of Robotics Research, 2023