A metric for weak convergence of distribution functions