Korean researchers develop mathematical model for tumor removal by high-intensity ultrasound