Aviation and carbon markets