Lamport's Bakery algorithm