how much money did they steal in ocean's 13