EE explains the computer programming behind the first down line marker in football