Satisfiability Procedures for Combination of Theories Sharing Integer Offsets -- Invited