What is the difference between a mutex and a semaphore? Which one would you use to protect access to an increment operation?