PlayStation 5 ondanks productieproblemen tien miljoen keer verkocht