Mark Zuckerberg’s top lieutenant Chris Cox is leaving Facebook