Mining additives