Hierarchical Potential-based Reward Shaping from Task Specifications