A machine learning approach for user localization exploiting connectivity data