Можете объяснить, что такое проверяемое исключение в языках программирования?