Cisco posts record revenue, then cuts 4,000 jobs