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