Compact and efficient gas diffusion electrodes based on nanoporous alumina membranes for microfuel cells and gas sensors.