Abstract Value Iteration for Hierarchical Deep RL