Proper Agnostic Learning of Functions of Halfspaces under Gaussian Marginals