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