Measurement and assignment of double-resonance transitions to the 8900–9100- cm−1 levels of methane