Integrality of Weights of Finite-Dimensional Semisimple Lie Algebra Modules