Можете объяснить принцип использования механизма приведения типов в Kotlin?