Inconsistency and non-additive Choquet integration in the Analytic Hierarchy Process