Объясните, что такое семафор и как он используется для управления синхронизацией потоков