后来矿工们在工作的时候文字转WAV音频