Deep Reinforcement Learning for Multi-User RF Charging with Non-linear Energy Harvesters