岩浆流溢出地表冷凝的岩石称为（）。