The type of rock that forms from magma that is cooled and hardened is...