Universal exactness in algebraic K-theory