A mathematical model and artificial bee colony algorithm for the lexicographic bottleneck mixed-model assembly line balancing problem