A rock that was made from cooled lava is called