Military Applications of Machine Learning: A Bibliometric Perspective