Would the Hoover Dam really have to be as big if it only had to hold back a 1cm wide column of water?