Stable K-theory is bifunctor homology (after A. Scorichenko)