The Maximum Earthquake Magnitude in a Time Horizon: Theory and Case Studies