Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control (Progress in Nonlinear Differential Equations and Their Applications)