Laport's Bakery Algorithm implemented in Erlang