Which type of rock is formed from cooling lava or magma?