Aggregation with non-convex labor supply, unobservable effort, and efficiency wages of the no-shirking type