Polynomial-Time Computable Stable Models