Synthesis of Strategies for Robotic Process Automation