how much did it cost to build marina bay sands?