展开 火山岩的定义是什么