K-groups associated with substitution minimal systems