Developers also found the machine difficult to program for. Who is Valve's VP of Marketing who says they want to hire programmers for a PS4 team?