Electrical impedance tomography compared to positron emission tomography for the measurement of regional lung ventilation: an experimental study