Dual Tableau-Based Decision Procedures for Fragments of the Logic of Binary Relations