The Stable Model Semantics for Higher-Order Logic Programming