Mining execs’ pay jumps as industry rebounds