A quantitative methodology for risk assessment of explosive atmospheres according to the ATEX Directive