Which type of rock is formed by the cooling and hardening of lava?