Robotic gas source localization and distribution mapping via deep reinforcement learning