indonesia coal mining companies list in 2012