The hydrogen budget of the stratosphere inferred from ATMOS measurements of H2O and CH4