Reinforcement Learning for Adaptive Mesh Refinement