A framework and quantitative methodology for the identification of cost-effective environmental policy for civil aviation