ElectraNet launches 7.25-year Australian dollar deal