Neuro-Symbolic Reinforcement Learning