Commutative K-theory