Zaslat záznam emailem: Synthesis for Multi-weighted Games with Branching-Time Winning Conditions