A Survey of Large Language Models in Medicine: Progress, Application, and Challenge