The highest-paid U.S. military professionals