Modular convergence theorems for integral operators in the context of filter exhaustiveness and applications