Differentiable Collision Detection: a Randomized Smoothing Approach