齐桓公伐山戎时，由于被戎主断了汲水之道，齐桓公遂命军士凿山取水，是谁根据什么现象提出了取水之法？