A mean ergodic theorem for mappings which are asymptotically nonexpansive in the intermediate sense