Add example showing how to lock multiple mutexes
with deadlock avoidance
Updated counter examples to use vectors instead of arrays