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