Churn analysis for an Iranian mobile operator