K-theory and Homological Algebra