The 1982–83 Eruption of Galunggung (Indonesia): A Case Study of Volcanic Hazards with Particular Relevance to Air Navigation