Logically-Constrained Neural Fitted Q-Iteration