Lamports Bakery Algorithm commit