Matching with batches: Recovering strategy-proofness in a cutoff-based mechanism