10 things you didn’t know about PS4