Lamport bakery algorithm