Which of these is a type of rock formed by cooling lava?