A study of grid convergence issues for the simulation of the massively separated flow around a stalled airfoil using DES and related methods