Kinematic convexity of spherical displacements and its application to collision prediction