Constraint Programming Models For Serial Batch Scheduling With Minimum Batch Size