Which of the following is a type of rock that forms from cooled lava?