AT&T formally announces programmatic marketplace