Direct measurement of the mass difference of 72As−72Ge rules out 72As as a promising β-decay candidate to determine the neutrino mass