Accurate design of ICRF antennas for RF plasma thruster acceleration units with TOPICA