Which type of rock is formed from the cooling and solidification of lava or magma?