树洞是怎么形成的?