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