What type of rock is formed when hot lava is cool and hardened