Assessing EEG sleep spindle propagation. Part 1: theory and proposed methodology