Чем отличаются проверяемые и непроверяемые исключения в языках программирования?