Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control