Frequency-domain theory of high-order above-threshold ionization based on nonperturbative quantum electrodynamics