How Data Analysis Supports Crime Prediction in Smart Cities