火山爆发后形成的岩石有哪些