When was it first discovered (or comprehended) that air has weight? Did the ancients know of this, or did they think that air is weightless?