Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty