Bivariate Laplace transform of residual lives and their properties