machine that draws random premium bond numbers in the United Kingdom.