Text this: Technology for leakage fault prevention and anti-override trip in coal mine intelligent power supply system and its development prospect