What type of rock is formed from the solidification of magma or lava?