Rocks that are produced when magma or lava cools and hardens are called ____.