Analysis of non-overlapping domain decomposition algorithms with inexact solves