A comparative study of miniaturized internal and large external magnetic actuators for navigation of highly flexible catheters