list of mining companies in jakarta stock companies