EMC rides cloud to record revenue in third quarter