An Analytical Procedure for the Carbon Tax Evaluation: Case Studies