How many 4-digit positive integers have four different digits, where the leading digit is not zero, the integer is a multiple of 4, and 7 is the largest digit?