В чем заключается отличие между классами Semaphore и SemaphoreSlim в контексте асинхронного программирования?