Edinburgh International Festival goes digital as performers return to stage