A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems