Restoring and Mining the Records of the Joseon Dynasty via Neural Language Modeling and Machine Translation