Какое отличие существует между проверяемыми и непроверяемыми исключениями в языках программирования?