Rock formed from magma or volcanic lava is called ___.