Modelling and symmetry breaking in scheduling problems on batch processing machines