Global Probability of Collision: Problem modeling via occupation measures