Network effects and the choice of mobile phone operator