Global semiconcavity of solutions to first-order Hamilton-Jacobi equations with state constraints - Yuxi Han (2022)