Which type of rock can be extremely light because it was formed by the cooling of lava and trapped gas bubbles?