Universal Composability is Secure Compilation