Antennas for the mining industry