Optimal convergence properties of the FETI domain decomposition method