What are some of the current best ideas to prevent/mitigate a volcanic eruption? Are there any big scientific names researching this?