A survey on the K-theory of polynomial extensions