Casimir Eigenvalue Formula for Irreducible Highest Weight Modules