Which of the following is a type of rock formed from the cooling of magma?