岩浆形成的岩石叫什么