An exhaustive criterion for the non-existence of invariant circles for area-preserving twist maps