Necessary and sufficient conditions for the invertibility of the non-linear difference operator $ (\mathscr Dx)(t)=x(t+1)-f(x(t))$ in the space of bounded continuous functions on the real axis