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