Stav dette: A global redistributive auction for vaccine allocation