凿千米深的井，还用上天然气，古人为了吃盐到底有多努力？