Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)