ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems