Which rock most probably formed directly from lava cooling quickly at Earth’s surface?