L'innovazione tecnologica nell'industria del gas dall'introduzione della luce elettrica alla Prima Guerra Mondiale (1883-1914). Un bilancio storiografico e alcune ipotesi di ricerca