Substitution rules for icosahedral quasicrystals