Muons in air showers at the Pierre Auger Observatory: Mean number in highly inclined events - Pierre Auger Collaboration (Physical Review D, 2015)