火山の噴火によってできた岩石を何といいますか。（2種類の総称）