ST4SQL: a spatio-temporal query language dealing with granularities