Single machine multi-product batch scheduling: Testing several solution methods