TED Ed: The history of the barometer (and how it works)