A USB controller for PC-based pinball games