IHL boosts budget for new MSU dining hall