Prosecutors push for 17-year sentence for Pentagon leaker Jack Teixeira