Bucks introduce new GM Jon Horst