Voice-Leading Transformation and Generative Theories of Tonal Structure