Algebraic K-theory of infinite products via Grayson's binary complexes