Elliptic boundary value problems for connections: a non-linear Hodge theory.