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