What is mutex in windows operating system?