Are the expired domains released in a pool/collection/batch or one by one? If they are released in batch, approx waht time?