A GIS-based tool for the estimation of impacts of volcanic ash dispersal on European air traffic