Computation of turbulent flows over backward-facing step