Indonesia's mining ministry looks to ease mineral export ban