Empowering Traffic Operations and Safety with Transportation Big Data: Practice Scan, Methodology, and Applications