Satisfierbarhet modulo teorier