Reinforcing User Retention in a Billion Scale Short Video Recommender System