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