Pricing Discretely Monitored Barrier Options and Credit Default Swaps under Lévy Processes