bakery algorithm example