What type of rock is formed by the cooling and solidification of lava or magma?