Judge upholds Kentucky’s ban on ‘gray machine’ gambling devices