Adding Jonathan Tien to AUTHORS.txt file.