1st Workshop on Goal Specifications for Reinforcement Learning