Selling and Leasing Software with Network Externality