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