Theoretical performance of impedance probes for void fraction measurements