Which type of rock forms when magma cools and solidifies?