Catlin Finite-Type Subelliptic Estimate