EUV emission from xenon in the 10–80 nm wavelength range using a compact ECR ion source