A refund of the duty collected on goods imported and processed for re-export is?