Interpretable Policy Specification and Synthesis through Natural Language and RL