A Survey on Neural Topic Models: Methods, Applications, and Challenges