[Erlang] Implementation of a real-time concurrent system that simulates an English auction