Joint Inference of Reward Machines and Policies for Reinforcement Learning