how much did it cost rio to host the olympics