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