An improved lower bound for the time complexity of mutual exclusion