What type of rock is formed from the cooling and solidifying of magma or lava?