Miners will be required to park export proceeds at home, convert to rupiah