US man wins over $9M jackpot after buying ticket from ‘broken' lottery vending machine