Direct numerical simulation of turbulent channel flow with permeable walls