Intense plasma discharge source at 13.5 nm for extreme-ultraviolet lithography