EMC$^2$: Efficient MCMC Negative Sampling for Contrastive Learning with Global Convergence