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