High specific laser output energy at 157 nm from an electron beam pumped He/Ne/F2 gas mixture