How many state government employees earned six figures in 2013?