An Aligned Constraint Programming Model For Serial Batch Scheduling With Minimum Batch Size