Stav dette: Pathwise inequalities for local time: Applications to Skorokhod embeddings and optimal stopping