Spatio-temporal Models and Languages: An Approach Based on Constraints