Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis