Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption