Beamforming Through Encapsulation Layers: Efficient Time-of-Flight Modeling for High-Resolution Ultrasound Imaging