Direct numerical simulation of a reacting turbulent channel flow with thermochemical ablation