Direct numerical simulation of turbulent flow over a backward-facing step