Discrimination in the mining business is real, but there’s good news, too. Just ask these four industry veterans