Exact algorithms for the batch sequencing problem in a two--machine flow shop with limited buffer