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