Project of quantitative risk analysis for designs of permanent abandonment of wells