Entrepreneurial land developers: Joint production, local externalities, and mixed housing developments