how many people died in the construction of hoover dam