An application of integer programming to playoff elimination in football championships