The average binding energy of a nucleon inside an atomic nucleus is about