Termination of higher-order rewrite systems