Tech's top-paid CEOs

Fifteen tech leaders made more than $14 million apiece in 2013.