Towards a theoretical foundation for morphological computation with compliant bodies | Synapse