Bivariate normal distribution definition