How much did it cost to make one 20 GB PS3?