Write a function to manipulate strings to achieve a specific formatting requirement.
Implement format_words(s) to trim leading and trailing whitespace, replace every consecutive whitespace sequence with one space, and capitalize each word while lowercasing its remaining characters. Return an empty string when the input contains no words. Inputs contain alphabetic words separated by arbitrary whitespace.
def format_words(s):