Which of the following types of rock is formed from cooled lava?