SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems