Estimation of the bivariate distribution function