20150618 top-headlines: 9 highest-paying tech companies in the US