What type of rock is formed from solidified lava or magma?