20110630 tech: 10 highest-paid tech CEOs