Synthesis of Provably Correct Autonomy Protocols for Shared Control