Design of a miniature gas exchanger for oxygen control in microfluids