how much did it cost to build hover dam