Using your rock cycle diagram, what type of rock forms directly from magma?