Discord leaker Jack Teixeira gets 15-year sentence for sharing classified documents