Optimal Energy Scheduling of Flexible Industrial Prosumers via Reinforcement Learning