Josh's Weather Academy: how does a tornado develop?