A goal-oriented, ontology-based methodology to support the design of AAL environments