20160502 tech.jobs: 10 highest-paid tech CEOs in the US