An optimal workforce assignment problem for a paced assembly line at the line design stage