Large AI Models in Health Informatics: Applications, Challenges, and the Future