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