Computational models and methods for ultrasound tomography