Dancing Architecture: A Formal Approach to Translating Movement and Dance