What was the model number of the slim version of the PlayStation 3?