How much does the Dark Energy Survey cost, and who pays?