What is the mass number of the xenon isotope with \[ 80 \] neutrons?