These names are renewed with the registry but the registrar has up to 45 days to cancel the renewal and get a refund. That means, they have plenty of time for a grace period for customer, then to auction the name.
If it gets no bid, it is dropped (goes to redemption) and the expiry date at registry level is adjusted accordingly (-1 year).