Study on operational efficiency improvement of main drainage pump in coal mines with variable frequency booster pump