ARiADNE: A Reinforcement learning approach using Attention-based Deep Networks for Exploration