Optimal Stopping Problems Driven by Lévy Processes and Pasting Principles by B.A. Surya