Differential K-theory: Axioms, Models and Operations