Algorithms for Automatic, Real-Time Tsunami Detection in Sea Level Measurements