High-Frequency Antenna Transformer for 0.07x10 Mining Machine