Brightstar Lottery Announces Changes to Lottery Operations Leadership