Rocks that form as lava cools on the surface of earth are called...