Studying the impact of built environments on human mental health in everyday life: methodological developments, state‑of‑the‑art and technological frontiers