Direct numerical simulation of a separated turbulent boundary layer