Numerical models of microwave thermal ablation procedures