Coexistence and market tipping in a diffusion model of open source vs. proprietary software