Which type of rock is formed through the cooling and solidification of magma or lava?