Indonesia’s ban on the export of raw mineral ores comes into force