Gas leak quantification