PhySIC: A veto supertree method with desirable properties