What type of rock is formed by cooling and solidifying magma or lava?