What kind of rock is formed from the cooling and solidification of magma?