An Omega (n log n) lower bound on the cost of mutual exclusion