Scalable FETI with optimal dual penalty for a variational inequality