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