Scheduling with batching: minimizing the weighted number of tardy jobs