Tsunami Propagation Models Based on First Principles