Army scores in OT vs North Texas to win the Heart of Dallas Bowl