Characterizations of $\Mathbb{N}$-compactness and realcompactness via ultrafilters in the absence of the axiom of choice