Local grid refinement in large-eddy simulations. Large-scale numerical modelling of problems involving the Navier-Stokes equations