Deep Neural Collapse Is Provably Optimal for the Deep Unconstrained Features Model