Что такое ключевое слово satisfies в TypeScript? Когда и как оно используется?