Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra