Text this: Theoretical knowledge enhanced genetic algorithm for mine ventilation system optimization considering main fan adjustment