A Reformulated Lifting Line Theory for Supercavitating Hydrofoil Design