Ocean depth effects on tsunami amplitudes used in source models in linearized shallow-water wave theory