probability of intersection formula