Direct numerical simulations of turbulent non-premixed methane-air flames modeled with reduced kinetics