Residual-based a posteriori error analysis for the coupling of the Navier–Stokes and Darcy–Forchheimer equations