If the atmosphere is warming, then surely air pressure around the world should be dropping too (since warm air rises). Has there ever been a study done on this?