Orca: A Language for Distributed Object-Oriented Programming