A Formal Methods Approach to Interpretability, Safety And Composability For Reinforcement Learning