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