Design and implementation of PAVEMON: a GIS web-based pavement monitoring system based on large amounts of heterogeneous sensors data.