Stellar Models of Betelgeuse Constrained Using Observed Surface Conditions