On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions