What type of rock forms from the cooling and solidification of magma or lava?