Turbulent boundary layer over a wall roughened by pyramidal elements