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