Pthread mutex in c example