В чём разница между mutex и семафором? Как они реализованы?