In music who decided that an octave should have eight notes?