On the semantics of ST4SQL, a multidimensional spatio-temporal query language