Gas doesn’t dissolve well in deep-Earth minerals