Compliant Robot Motion I. A Formalism for Specifying Compliant Motion Tasks | Synapse