Stability Representations of Many-to-One Matching Problems: An Integer Optimization Approach