Indonesia rocks markets by easing mining export laws