A non-permutation flowshop scheduling problem with lot streaming: A mathematical model