Text this: Dynamic Programming and Hamilton–Jacobi–Bellman Equations on Time Scales