How many versions of the CECH-4000 were made