据说楚汉相争时，韩信攻打未央宫，用什么来测量地道距离？