shanxi coke ditawarkan pada tahun 2012