Homotopy of product systems and K-theory of Cuntz-Nica-Pimsner algebras