K-theory and polynomial functors