Muons in air showers at the Pierre Auger Observatory: Mean number in highly inclined events