How many four-digit positive integers have at least one digit that is a 5, 6, or 7?