Hairpin vortices in turbulent channel flow