Stable Prediction across Unknown Environments