NBC: Judge formally sentences Adnan Syed to time served in 'Serial' podcast case