Frequency of the methane-stabilized He–Ne laser at 88 THz measured to ±3 parts in 1011