В чем разница между семафором и мьютексом?