Fuzzy answer set computation via satisfiability modulo theories