NBC: Cisco says it’s cutting 5% of global workforce, amounting to over 4,000 jobs