A comparison of the volumes of a gravity dam with an arch dam