The Monadic Tower for ∞-Categories