Modeling, Analysis and Application of Big Traffic Data for Intelligent Transportation Systems