Which type of rock is formed through the cooling and solidification of magma?