Tractability of Theory Patching