How big is the PlayStation 5? – dimensions, measurements, and size ...