Harmony, voice leading, and drama in three Sondheim musicals