Linux pros saw a giant salary leap in 2012: Dice