Higher-Order Rewriting via Conditional First-Order Rewriting in the Open Calculus of Constructions