Qual é o tipo de rocha que se forma a partir da solidificação de magma ou lava?