Traces of Sobolev functions on regular surfaces in infinite dimensions