熔岩流喷出后冷却形成岩石这叫什么