Stochastic Optimal Control for Hotel Dynamic Pricing: A Linear-Demand Formulation with Numerical Verification | Synapse