Indonesian coal miners accelerate diversification as volatility rises