A branch-and-bound procedure for the single-model deterministic assembly line balancing problem