Vectorized bivariate normal CDF
