为什么将蝉比喻为矿工